Morfismus

Morfismus je v matematice, zvláště v teorii kategorií, zobrazení jedné matematické struktury do jiné stejného typu, které zachovává příslušnou strukturu. Koncept morfismu se objevuje ve většině oborů současné matematiky; v teorii množin jsou morfismy zobrazení; v lineární algebře lineární transformace; v teorii grup grupové homomorfismy; v topologii spojité funkce, atd.

Morfismus v teorii kategorií je obdobný koncept: zkoumané matematické objekty nemusí být jenom množiny, a vztahy mezi nimi mohou být jiné než zobrazení; morfismy mezi objekty dané kategorie se však musí chovat podobně jako zobrazení v tom smyslu, že musí umožňovat asociativní operaci podobnou skládání funkcí. Morfismus v teorie kategorií je abstrakcí homomorfismu.^[1]

Studium morfismů a struktur (nazývaných „objekty“), na kterých jsou definovány, je hlavní náplní teorie kategorií. Velká část představ o morfismech a terminologie morfismů je převzata z konkrétních kategorií, kde objekty jsou prostě množiny s nějakou přídavnou strukturou a morfismy jsou funkce zachovávající strukturu. V teorii kategorií se morfismy někdy nazývají šipky (anglicky arrows).